Emma in Action: Declarative Dataflows for Scalable Data Analysis Alexander Alexandrov Andreas Salzmann Georgi Krastev Asterios Katsifodimos

Source URL: stratosphere.eu

• Computing
• Software engineering
• Computer programming
• Parallel computing
• Concurrent programming languages
• Functional languages
• Apache Software Foundation
• Cluster computing
• Apache Spark
• Apache Flink
• Scala
• Monad

The Correctness-Security Gap in Compiler Optimization Vijay D’Silva, Mathias Payer, Dawn Song LangSec 2015 1

Source URL: hexhive.github.io

• Software
• Computer programming
• Procedural programming languages
• Object-oriented programming languages
• Cross-platform software
• Compilers
• GNU Compiler Collection
• Programming language implementation
• Fortran
• C
• D

Hoogle Overview by Neil Mitchell This article gives an overview of the Hoogle tool. We describe the history of Hoogle, the improvements that have been made this summer, and plans for future feature

Source URL: ndmitchell.com

• Software engineering
• Computer programming
• Computing
• Functional languages
• Functional programming
• Object-oriented programming languages
• Scripting languages
• Type theory
• Haskell
• Cabal
• Monad
• Type class

Semantics Engineering: more than just Theorem Proving Robby Findler Northwestern University & PLT

Source URL: www.eecs.northwestern.edu

• Software engineering
• Theoretical computer science
• Computing
• Logic in computer science
• Formal methods
• Programming language semantics
• Control flow
• Eval
• Functional languages
• Operational semantics
• Robert Bruce Findler
• Racket

Hyracks: A Flexible and Extensible Foundation for Data-Intensive Computing Vinayak Borkar, Michael Carey, Raman Grover, Nicola Onose, Rares Vernica Computer Science Department, University of California, Irvine Irvine, CA

Source URL: asterix.ics.uci.edu

• Hadoop
• Parallel computing
• Apache Software Foundation
• Distributed computing architecture
• Query languages
• Apache Hadoop
• Data-intensive computing
• MapReduce
• Pig
• Apache HBase
• ECL
• Data

PAR The Perl Archive Toolkit Using PAR to package and deploy Perl applications http://par.perl.org What is PAR ?

Source URL: miltonkeynes.pm.org

• Software engineering
• Computer programming
• Software
• Perl
• Cross-platform software
• High-level programming languages
• Scripting languages
• CPAN
• A.out
• Comment
• Regular expression
• One-liner program

Kicking it with Node, starter edition. APRIL 2016 MEETING 1

Source URL: www.boncode.net

• Software
• Computer programming
• JavaScript libraries
• Cross-platform software
• Scripting languages
• Source-to-source compilers
• Joyent
• Node.js
• Npm
• TypeScript
• JavaScript
• CoffeeScript

Learning Regular Omega Languages Dana Angluin1? and Dana Fisman2?? 1 2

Source URL: www.cis.upenn.edu

• Finite automata
• Formal languages
• Theoretical computer science
• -automaton
• Omega language
• Regular language
• Muller automaton
• Constructible universe
• Symbol
• DFA minimization
• Mathematics
• Omega-regular language

Adding More Languages Improves Unsupervised Multilingual Part-of-Speech Tagging: A Bayesian Non-Parametric Approach Benjamin Snyder, Tahira Naseem, Jacob Eisenstein, and Regina Barzilay Computer Science and Artificial In

Source URL: pages.cs.wisc.edu

A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs Claudio Corrodi1,2? , Alexander Heußner3 , and Christopher M. Poskitt1,4? Department of Computer Science, ETH Zürich, Switzerland Software Composit

Source URL: se.inf.ethz.ch

• Software engineering
• Computing
• Computer programming
• Logic in computer science
• Object-oriented programming languages
• Programming language semantics
• SCOOP
• Semantics
• Eiffel
• Operational semantics
• Concurrency
• Actor model